Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·8h·
Discuss: DEV
🌐Network Protocols
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3h·
Discuss: Hacker News, r/programming
🔗Lisp
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·10h
🔗Topological Sorting
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·5h·
Discuss: Hacker News
🧩WASM Modules
How To Prepare Your API for AI Agents
thenewstack.io·32m
🔌Interface Evolution
The Agentic Protocols That Will Define the Next Decade of Software
anup.io·2d·
Discuss: Hacker News
🔌Interface Evolution
simplex-chat/simplexmq
github.com·12h
🔌Interface Evolution
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·4h
📞Session Types
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·4d
🔧Binary Parsers
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🦀Rust Verification
The complexity trap: why cybersecurity must be simplified
techradar.com·5h
🛡Cybersecurity
Building a Language Server
bullno1.com·1d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·7h·
Discuss: DEV
λLambda Formalization
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
What Is "Modern" Programming?
lemire.me·2h·
Discuss: Hacker News
💧Liquid Types
MCP Demystified: What Actually Goes Over the Wire??
hackernoon.com·2d
📟Vintage Protocols
Reflection and open implementations (2006)
dcc.uchile.cl·3d·
Discuss: Lobsters, Hacker News
💧Liquid Types